On the Continuity of Effective Multifunctions
نویسنده
چکیده
If one wants to compute with infinite objects like real numbers or data streams, continuity is a necessary requirement: better and better (finite) approximations of the input are transformed in better and better (finite) approximations of the output. In case the objects are constructively generated, they can be represented by a finite description of the generating procedure. By effectively transforming such descriptions for the generation of the input (respectively, their codes) in (the code of) a description for the generation of the output another type of computable operation is obtained. Such operations are also called effective. The relationship of both classes of operations has always been a question of great interest and well known theorems such as those of Myhill and Shepherdson, Kreisel, Lacombe and Shoenfield, Cĕıtin, and/or Moschovakis present answers for important special cases. A general, unifying approach has been developed by the present author in [19]. In this paper the approach is extended to the case of multifunctions. Such functions appear very naturally in applied mathematics, logic and theoretical computer science. Various ways of coding (indexing) sets are discussed and effective versions of several continuity notions for multifunctions are introduced. For each of these notions an indexing system for sets is exhibited so that the multifunctions that are effective with respect to this indexing system and possess certain witness functions are exactly the multifunction which are effectively continuous with respect to the continuity notion under consideration. Important special cases are discussed where such witnessing functions always exist.
منابع مشابه
Upper and lower $alpha(mu_{X},mu_{Y})$-continuous multifunctions
In this paper, a new class of multifunctions, called generalized $alpha(mu_{X},mu_{Y})$-continuous multifunctions, has been dened and studied. Some characterizations and several properties concerning generalized $alpha(mu_{X},mu_{Y})$-continuous multifunctions are obtained. The relationships between generalized $alpha(mu_{X},mu_{Y})$-continuous multifunctions and some known concepts are also di...
متن کاملApproximation theorems for fuzzy set multifunctions in Vietoris topology. Physical implications of regularity
n this paper, we consider continuity properties(especially, regularity, also viewed as an approximation property) for $%mathcal{P}_{0}(X)$-valued set multifunctions ($X$ being a linear,topological space), in order to obtain Egoroff and Lusin type theorems forset multifunctions in the Vietoris hypertopology. Some mathematicalapplications are established and several physical implications of thema...
متن کاملRemarks on microperiodic multifunctions
It is well known that a microperiodic function mapping a topological group into reals, which is continuous at some point is constant. We introduce the notion of a microperiodic multifunction, defined on a topological group with values in a metric space, and study regularity conditions implying an analogous result. We deal with Vietoris and Hausdorff continuity concepts.Stability of microperiodi...
متن کاملSet-norm Continuity of Set Multifunctions
In this paper, we present different types of continuous set multifunctions with respect to a set norm (such as uniformly autocontinuous or autocontinuous from above), their relationships with non-additive set multifunctions and some properties of atoms and pseudo-atoms for null-null-additive set multifunctions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 221 شماره
صفحات -
تاریخ انتشار 2008